Elixir の形式手法
Elixir
Elixir.icon
の
形式手法
Erlang
Erlang.icon
の型檢査
Tobias Lindahl, Konstantinos Sagonas "Practical Type Inference Based on Success Typings" 2006
Dialyzer
dwango/fialyzer: WIP Faster Implementation of Dialyzer
josefs/Gradualizer: A Gradual type system for Erlang
Coq to Erlang
The Erlang-Coq Synthesizer Tool (ECS) | Marino Miculan
tcarstens/verlang
actor model
の型檢査
Pony
Pony.icon
Scala
Scala.icon
の
scala.actors
Akkaの
akka.typed.actor
形式手法
model 檢査